Almost all existing genetic programming systems deal with fitness evaluation solely by testing. In this paper, by contrast, we present an original approach that combines genetic programming with Hoare logic with the aid of model checking and finite state automata, henceby proposing a brand new verification-focused formal genetic programming system that makes it possible to evolve reliable programs with mathematicallyverified properties.

We propose a new hybrid data mining method for predicting protein-protein interactions combining Likelihood-Ratio with rule induction algorithms. In essence, the new method consists of using a rule induction algorithm to discover rules representing partitions of the data, and then the discovered rules are interpreted as “bins” which are used to compute likelihood ratios. This new method is applied to the prediction of protein-protein interactions in the Saccharomyces Cerevisiae genome, using predictive genomic features in an integrated scheme. The results show (...) that the new hybrid method outperforms a pure likelihood ratio based approach. (shrink)

The commentary argues (1) that we cannot be sure that human consciousness has survival value and (2) that in order to understand the origins and, perhaps, the function of consciousness, we should examine the behavioural and neural precursors to consciousness in nonhumans. An example is given of research on the role of context in decisions regarding fleeing from probable predators in the Mongolian gerbil.

For some time now, Aristotle’s ethics – to be exact: the Nicomachean Ethics – have influenced or inspired a considerable array of theoretical options in contemporary moral philosophy. As a result, Aristotle’s ethical works have assumed a dignified systematic place next to such modern strains as the consequentialist, utilitarian or deontological ones. The precise relation of Aristotle’s ethics to these modern theories remains ambiguous, however : depending upon the particular systematic intere...

In this paper we show that there are various pseudo-jump operators definable over inadmissible $J_{\beta}$ that relate to the failure of admissiblity and to non-regularity. We will use these ideas to construct some intermediate degrees.

If α is a singular cardinal (either real or fake) in L, I exhibit many natural α-re subsets, defined uniformly from the ▵ 1 subsets of α. If α is a true cardinal this provides an uppersemilattice (usl) embedding from the lattice of ▵ 1 subsets of α into the usl of α-re-degrees. It will also be shown that this embedding cannot be extended to the Σ 1 subsets of α.

As pressures on the service economy from globalisation increase, new techniques may be appropriate for designing service systems. This paper examines the tradition of service quality and argues that its unique characteristics, such as the joint production of offerings by operators and customers, could benefit from the techniques of human factors. The interaction between human factors and quality is reviewed and four issues are extracted that should be directly applicable to service encounters. These are interface design, the understanding of error (...) causation, a design for operator well-being and human/automation function allocation. A framework is proposed for considering technology explicitly in the design of service systems. (shrink)

The main function of vision in many animals is to control movement. In rodents, some visuomotor acts require the construction of models of the external world while others rely on Gibsonian invariants. Such findings support Norman's dual processing approach but it is not clear that the two types of processing rely on homologs of visual processing streams described in primates.

I consider the projectum of a \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\beta$\end{document}-r.e. set. It is shown that there are tame r.e. sets with small projecta and that there are tame r.e. sets with large projecta.

The idea that what is intrinsically good for people must be something they want or care about is a compelling one. Goal-fulfillment theories of well-being, which make this idea their central tenet, have a lot going for them. They offer a good explanation of why we tend to be motivated to pursue what’s good for us, and they seem to best explain how well-being is especially related to individual subjects. Yet such theories have been under attack recently for not being (...) able to account for robust or basic bads, such as pain and nausea. This paper argues that a psychologically informed goal-fulfillment theory can accommodate intuitions about robust bads by relying on aversions. Attending to aversion highlights a different sort of problem for goal-fulfillment theories, which comes from the possibility of a person who is so depressed that they have no goals or desires at all. We end the paper with a discussion of how empirically informed goal-fulfillment theories can account for the badness of the most serious form of depression. (shrink)

Dreams represent threat, but appear to do so metaphorically more often than realistically. The metaphoric representation of threat allows it to be conceptualized in a manner that is constant across situations (as what is common to all threats begins to be understood and portrayed). This also means that response to threat can come to be represented in some way that works across situations. Conscious access to dream imagery, and subsequent social communication of that imagery, can facilitate this generalized adaptive process, (...) by allowing the communicative dreamer access to the problem solving resources of the community. [Revonsuo; Solms]. (shrink)

This chapter contains sections titled: Philosophers' fallacies and historians' fallacies Five Historical Fallacies Historical Fallacies of Philosophers and the Relationship of Philosophy to its History Bibliography Further Reading.

The approach the majority of neuroscientists take to the question of how consciousness is generated, it is probably fair to say, is to ignore it. Although there are active research programs looking at correlates of consciousness, and explorations of informational properties of what might be relevant neural ensembles, the tacitly implied mechanism of consciousness in these approaches is that it somehow just happens. This reliance on a “magical emergence” of consciousness does not address the “objectively unreasonable” proposition that elements that (...) have no attributes or properties that can be said to relate to consciousness somehow aggregate to produce it. Neuroscience has furnished evidence that neurons are fundamental to consciousness; at the fine and gross scale, aspects of our conscious experience depend on specific patterns of neural activity – in some way, the connectivity of neurons computes the features of our experience. So how do we get from knowing that some specific configurations of cells produce consciousness to understanding why this would be the case? Behind the voltages and currents electrophysiologists measure is a staggeringly complex system of electromagnetic fields – these are the fundamental physics of neurons and glia in the brain. The brain is entirely made of electromagnetism phenomena from the level of the atoms up. The EM field literally manifests the computations, or signaling, or information processing/activities performed by connected cellular ensembles that generate a 1st-person perspective. An investigation into the EM field at the cellular scale provides the possibility of identifying the outward signs of a mechanism in fundamental terms, as opposed to merely describing the correlates of our mental abstractions of it. (shrink)

Cramer et al. articulate a novel perspective on comorbidity. However, their network models must be compared with more parsimonious latent variable models before conclusions can be drawn about network models as plausible accounts of comorbidity. Latent variable models have proven generative in studying psychopathology and its external correlates, and we doubt network models will prove as useful for psychopathology research.

Charney's dismissal of well-established methods in behavioral genetic research is misguided. He claims that studies of heritability and genetic association depend for their validity on six assumptions, but he cites no sources to support this claim. We explain why none of the six assumptions is strictly necessary for the utility of either method of genetic analysis.

Aristotelian philosophy played an important part in the history of 19th century philosophy and science but has been largely neglected by researchers. A key element in the newly emerging historiography of ancient philosophy, Aristotelian philosophy served at the same time as a corrective guide in a wide range of projects in philosophy. This volume examines both aspects of this reception history.

We demonstrate that Statistical significance (Chow 1996) includes straw man arguments against (1) effect size, (2) meta-analysis, and (3) Bayesianism. We agree with the author that in experimental designs, H0 “is the effect of chance influences on the data-collection procedure . . . it says nothing about the substantive hypothesis or its logical complement” (Chow 1996, p. 41).

Corporate volunteering is known to be an effective employee engagement initiative. However, despite the prominence of corporate social responsibility in academia and practice, research is yet to investigate whether and how CV may influence consumer perceptions of CSR image and subsequent consumer behaviour. Data collected using an online survey in Australia show perceived familiarity with a company’s CV programme to positively impact CSR image and firm image, partially mediated by others-centred attributions. CSR image, in turn, strengthens affective and cognitive loyalty (...) as well as word-of-mouth. Further analysis reveals the moderating effect of perceived leveraging of the corporate volunteering programme, customer status and the value individuals place on CSR. The paper concludes with theoretical and managerial implications, as well as an agenda for future research. (shrink)

Adults are skilled at using language to construct/negotiate identity and to signal affiliation with others, but little is known about how these abilities develop in children. Clearly, children mirror statistical patterns in their local environment (e.g., Canadian children using zed instead of zee), but do they flexibly adapt their linguistic choices on the fly in response to the choices of different peers? To address this question, we examined the effect of group membership on 7‐ to 9‐year‐olds' labeling of objects in (...) a trivia game, exploring whether they were more likely to use a particular label (e.g., sofa vs. couch) if members of their “team” also used that label. In a preregistered study, children (N = 72) were assigned to a team (red or green) and were asked during experimental trials to answer questions—which had multiple possible answers (e.g., blackboard or chalkboard)—after hearing two teammates and two opponents respond to the same question. Results showed that children were significantly more likely to produce labels less commonly used by the community (i.e., dispreferred labels) when their teammates had produced those labels. Crucially, this effect was tied to group membership, and could not be explained by children simply repeating the most recently used label. These findings demonstrate how social processes (i.e., group membership) can guide linguistic variation in children. (shrink)

The arts are one of the most complex of human endeavours, and so it is fitting that a special issue on Complex Systems in Aesthetics and Arts is being published. As the editors of this special issue, we would like to thank the reviewers of the submitted papers for their hard work in making this issue possible, as well as the authors who submitted their work and were very responsive to the comments of the reviewers and editors.

A study of the international pharmaceutical industry discusses the uses and abuses of prescription drugs and details the dangers and adverse impact of disease treatment with drugs.

Acute aerobic exercise has been shown to improve fine motor skills and alter activation of the motor cortex. The intensity of exercise may influence M1 activation, and further impact whole-body motor skill performance. The aims of the current study were to compare a whole-body motor skill via a piano task following moderate-intensity training and high-intensity interval training, and to determine if M1 activation is linked to any such changes in performance. Nine subjects, aged 18 ± 1 years completed a control, (...) MIT, and HIIT trial followed by administration of a piano performance task. M1 activation was evaluated by measuring oxyhemoglobin and hemoglobin difference changes during post-exercise piano performance using functional near-infrared spectroscopy. The results indicate that piano performance scores were higher after the MIT trial, but not HIIT trial, compared to the control trial. A negative relationship was detected between heart rate during HIIT and post-HIIT piano scores. M1 activation was significantly increased after the HIIT trial. M1 activation was also positively associated with piano performance when exercise trials and all trials were combined. We found that acute moderate-intensity exercise led to an improvement in complex motor skill performance while higher-intensity exercise increased M1 activation. These results demonstrate that moderate-intensity exercise can prime the nervous system for the acquisition of whole-body motor skills, suggesting that similar exercise protocols may be effective in improving the outcomes of other motor tasks performed during regular routines of daily life. In addition, it appears that improvements in motor task performance may be driven by M1 activation. Our findings provide new mechanistic insight into the complex relationship between exercise intensity, M1 activation, and whole-body motor skill performance. (shrink)